Joost Luijpers's Documents

Joost Luijpers's Documents

CONCUR 2011 -- Concurrency Theory

CONCUR 2011 -- Concurrency Theory
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002

Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002
Read more
Global Imbalances and the US Debt Problem: Should Developing Countries Support the Us Dollar?

Global Imbalances and the US Debt Problem: Should Developing Countries Support the Us Dollar?
Read more
La fine del copyright. Come creare un mercato culturale aperto a tutti

La fine del copyright. Come creare un mercato culturale aperto a tutti
Read more
The Law, Economics and Politics of Retaliation in WTO Dispute Settlement (Cambridge International Trade and Economic Law)

The Law, Economics and Politics of Retaliation in WTO Dispute Settlement (Cambridge International Trade and Economic Law)
Read more
Global Imbalances and Developing Countries - Remedies for a Failing International Financial System

Global Imbalances and Developing Countries - Remedies for a Failing International Financial System
Read more
Principles of Model Checking

Principles of Model Checking
Read more
Principles of Model Checking

Principles of Model Checking
Read more
Atmosphere-Ocean Interaction (Oxford Monographs on Geology and Geophysics)

Atmosphere-Ocean Interaction (Oxford Monographs on Geology and Geophysics)
Read more
Nutritional Genomics: Impact on Health and Disease

Nutritional Genomics: Impact on Health and Disease
Read more
Sensory and Metabolic Control of Energy Balance (Results and Problems in Cell Differentiation)

Sensory and Metabolic Control of Energy Balance (Results and Problems in Cell Differentiation)
Read more
The crisis that was not prevented : lessons for Argentina, the IMF, and globalisation

The crisis that was not prevented : lessons for Argentina, the IMF, and globalisation
Read more
Atmosphere-ocean interaction

Atmosphere-ocean interaction
Read more
An Introduction to Atmospheric Physics

An Introduction to Atmospheric Physics
Read more
Reconstructing Biotechnologies: Critical Social Analyses

Reconstructing Biotechnologies: Critical Social Analyses
Read more
Sensory and Metabolic Control of Energy Balance

Sensory and Metabolic Control of Energy Balance
Read more
An introduction to atmospheric physics

An introduction to atmospheric physics
Read more
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised

Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised
Read more
Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Read more
Risk Modeling, Assessment, and Management, 3rd edition, Supplementary Problems and Exercises

Risk Modeling, Assessment, and Management, 3rd edition, Supplementary Problems and Exercises
Read more
Text representation: linguistic and psycholinguistic aspects

Text representation: linguistic and psycholinguistic aspects
Read more
Imagine There Is No Copyright and No Cultural Conglomorates Too

Imagine There Is No Copyright and No Cultural Conglomorates Too
Read more
Dynamic Combinatorial Chemistry

Dynamic Combinatorial Chemistry
Read more
Continuity and Change in a Greek Rural Landscape: The Laconia Survey, Volume 1: Methodology and Interpretation (Annual of the British School at Athens, Supplementary Volume 26)

Continuity and Change in a Greek Rural Landscape: The Laconia Survey, Volume 1: Methodology and Interpretation (Annual of the British School at Athens, Supplementary Volume 26)
Read more
Law and the Semantic Web.. Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

Law and the Semantic Web.. Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
Read more
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised ... Programming and Software Engineering)

Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised ... Programming and Software Engineering)
Read more
A Financial History of the Netherlands

A Financial History of the Netherlands
Read more
Generative and Transformational Techniques in Software Engineering III - GTTSE 2009

Generative and Transformational Techniques in Software Engineering III - GTTSE 2009
Read more
Advances in Intelligent Data Analysis: Third International Symposium, IDA-99 Amsterdam, The Netherlands, August 9-11, 1999 Proceedings

Advances in Intelligent Data Analysis: Third International Symposium, IDA-99 Amsterdam, The Netherlands, August 9-11, 1999 Proceedings
Read more
Principles of Model Checking

Principles of Model Checking
Read more